搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书(共5501本)

	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings 0 索取号：作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Cost-Efficient Design [electronic resource] 0 索取号：作者：Ehrlenspiel、 Klaus.、Kiewert、 Alfons.、Lindemann、 Udo.、Hundal、 Mahendra S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	High Availability and Disaster Recovery [electronic resource] : Concepts, Design, Implementation 0 索取号：作者：Schmidt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Cryptology - EUROCRYPT 2006 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings 0 索取号：作者：Vaudenay、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Optimal Design of Complex Mechanical Systems [electronic resource] : With Applications to Vehicle Engineering 0 索取号：作者：Mastinu、 Giampiero.、Gobbi、 Massimiliano.、Miano、 Carlo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems 0 索取号：作者：Br盲unl、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings 0 索取号：作者：Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers 0 索取号：作者：Gilroy、 Stephen W.、Harrison、 Michael D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers 0 索取号：作者：Guelfi、 Nicolas.、Savidis、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Rhinologic and Sleep Apnea Surgical Techniques [electronic resource] 0 索取号：作者：Kountakis、 Stilanos E.、脰nerci、 Metin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Wind Energy [electronic resource] : Proceedings of the Euromech Colloquium 0 索取号：作者：Peinke、 Joachim.、Schaumann、 Peter.、Barth、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	MEMS: A Practical Guide to Design, Analysis, and Applications [electronic resource] 0 索取号：作者：Korvink、 Jan G.、Paul、 Oliver.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings 0 索取号：作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Cost-Efficient Design [electronic resource] 0 索取号：作者：Ehrlenspiel、 Klaus.、Kiewert、 Alfons.、Lindemann、 Udo.、Hundal、 Mahendra S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	High Availability and Disaster Recovery [electronic resource] : Concepts, Design, Implementation 0 索取号：作者：Schmidt、 Klaus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Cryptology - EUROCRYPT 2006 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings 0 索取号：作者：Vaudenay、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Optimal Design of Complex Mechanical Systems [electronic resource] : With Applications to Vehicle Engineering 0 索取号：作者：Mastinu、 Giampiero.、Gobbi、 Massimiliano.、Miano、 Carlo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems 0 索取号：作者：Br盲unl、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings 0 索取号：作者：Beck、 J. Christopher.、Smith、 Barbara M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers 0 索取号：作者：Gilroy、 Stephen W.、Harrison、 Michael D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers 0 索取号：作者：Guelfi、 Nicolas.、Savidis、 Anthony.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Rhinologic and Sleep Apnea Surgical Techniques [electronic resource] 0 索取号：作者：Kountakis、 Stilanos E.、脰nerci、 Metin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Wind Energy [electronic resource] : Proceedings of the Euromech Colloquium 0 索取号：作者：Peinke、 Joachim.、Schaumann、 Peter.、Barth、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	MEMS: A Practical Guide to Design, Analysis, and Applications [electronic resource] 0 索取号：作者：Korvink、 Jan G.、Paul、 Oliver.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.